141. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses

رده :
QA
76
.
6
.
F853
1993

142. Fundamental algorithms for computer graphics

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Electronic digital computers- Programming- Congresses,، Computer algorithms- Congresses,، Computer graphics- Congresses

رده :
QA
76
.
6
.
N379
1985

143. Fundamental algorithms for computer graphics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses

رده :
QA
76
.
6
.
N379
1985

144. GI 3. Fachtagung uber programmiersprachen Kiel, 5-7, Marz, 1974

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
7

145. GI-NTG Fachtagung struktur und Betrieb von Recheusystemen, Braunschweig 20-22. 3. 1974 im Auftrag der GI und der NTG

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Evaluation-- Congresses

رده :
QA
76
.
6
.
G18
1974

146. GI-NTG : fachtagung struktur und betrieb von Rechensystemen : Braunschweig, 20-22, 3, 1974

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer programming,Evaluations -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
8

147. Generalized quantifiers and computation

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

148. Graphic languages. Proceedings

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer graphics-- Congresses,، Programming languages )Electronic computers(-- Congresses

رده :
T
385
.
I25
1972

149. HOPL III

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers)-- History, Congresses.

150. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses

رده :
TK
7888
.
3
.
I57
1997

151. History of programming languages

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Programming languages (Electronic computers)- History- Congresses

رده :
76
.
7
.
H56

152. How to make computers easier to use : digest of papers

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer engineering-- Congresses

رده :
QA
76
.
6
.
C6276
1975

153. IFIP working conference on command languages, lund, sweden, 1974. command languages; proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Programming languages (Electronic computers)- congresses

رده :
001
I61c

154. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses

رده :
BF
311
.
I5664
1996

155. International Computing Symposium, 1977 : proceedings of the International Computing Symposium, 1977, Li،ge, Belgium, 4-7 April 1977

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic data processing - Congresses,، Computers - Congresses,، Programming )Electronic computers( - Congresses

رده :
QA
75
.
5
.
I57
1977

156. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses

رده :
QA
76
.
6
.
I575
1980

157. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Electronic digital computers - Programming

رده :
QA
76
.
L4
v
.
83

158. International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses

رده :
QA
76
.
6
.
I575
1982

159. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Congresses

رده :
QA
76
.
6
.
I575
1984

160. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Electronic digital computers - Programming

رده :
QA
76
.
L4
v
.
167